Psychologie Lexikon der ArgumenteHome | |||
| |||
Barcan-Formel: besagt, dass daraus, dass es möglich ist, dass ein Gegenstand eine gewisse Eigenschaft hat folgt, dass dieser Gegenstand existiert. Die Formel ist nur in wenigen Systemen gültig. Siehe auch Modallogik, Systeme S4, S5._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Maxwell J. Cresswell über Barcan-Formel – Lexikon der Argumente
Hughes I 128 Barcan-Formel/Kripke: Kripke nimmt für jede mögliche Welt einen anderen Individuenbereich an und erhält dadurch eine Semantik, bei der im Gegensatz zu unserer die Barcan-Formel nicht gültig ist. >Zugänglichkeit, >Mögliche Welten/Kripke. Zugänglichkeit/LewisVsKripke: Bei Lewis läuft die Zugänglichkeit zu Welten über Individuen, daher ist die Barcan-Formel bei Lewis gültig. >Gegenstücktheorie, >Gegenstückrelation, >Mögliche Welten/Lewis. Hughes I 150f Barcan-Formel/BF/mögliche Welten/MöWe/Semantik/Hughes/Cresswell: Die Barcan-Formel ist ungültig in Semantiken, die verschiedenen möglichen Welten verschiedene Individuenbereiche zuordnen. Vgl. >Semantik möglicher Welten. Hughes I 150f Barcan-Formel/Hughes/Cresswell: Vs: Dass alles Existierende notwendig f ist, schließt nicht aus, dass es Dinge geben könnte (oder gegeben haben könnte), die nicht f sind. Dann wäre es keine notwendige Wahrheit, dass alles f ist. VsVs: Das geht von der Annahme aus, dass in verschiedenen möglichen Welten Gegenstände nicht nur andere Eigenschaften haben können, als in der wirklichen Welt (aktualen Welt), sondern dass es sogar Gegenstände geben könnte, die in der aktualen Welt gar nicht existieren. >Extension des >Existenzprädikats, >Existenz / >"es gibt". Hughes I 156 Barcan-Formel/Existenz/mögliche Welt/Hughes/Cresswell: drei Sichtweisen: a) alle möglichen Welten haben dieselben Individuen (Bereich identisch): dann ist die Barcan-Formel gültig (auch bezüglich T und S4), die Gegenstände sind dieselben, Eigenschaften und Relationen ändern sich. b) Neue Dinge entstehen: die Barcan-Formel ist ungültig jedenfalls bezüglich T und S4. c) Noch liberaler: Es können auch Gegenstände entfernt werden. >Systeme S4/S5, >Individuenbereich._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 Hughes I G.E. Hughes Maxwell J. Cresswell Einführung in die Modallogik Berlin New York 1978 |